Roland Backhouse: ค้นหาบนเว็บ Z-Library

ประตูสู่ความรู้และวัฒนธรรมสำหรับคุณ

Don't use scam websites

ตัวกรองที่กำลังใช้อยู่

ตรงกับคำค้นหาทุกประการ

ตรงกับคำค้นหาทุกประการ

1

Algorithmic Problem Solving

Algorithmic Problem Solving

John Wiley & Sons

Roland C. Backhouse

ปี:

2011

ภาษา:

english

ไฟล์:

PDF, 14.14 MB

0 / 0

english, 2011

2

Program Construction: Calculating Implementations from Specifications

Program Construction: Calculating Implementations from Specifications

John Wiley & Sons, Ltd

Roland Backhouse

ปี:

2003

ภาษา:

english

ไฟล์:

PDF, 19.79 MB

0 / 0

english, 2003

3

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

Springer-Verlag Berlin Heidelberg

Jeremy Gibbons (auth.), Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.)

ปี:

2007

ภาษา:

english

ไฟล์:

PDF, 2.63 MB

0 / 0

english, 2007

4

Algorithmic Problem Solving

Algorithmic Problem Solving

John Wiley & Sons

Roland Backhouse

ปี:

2011

ภาษา:

english

ไฟล์:

DJVU, 3.94 MB

0 / 0

english, 2011

5

Generic Programming: Advanced Lectures

Generic Programming: Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.)

ปี:

2003

ภาษา:

english

ไฟล์:

PDF, 3.88 MB

0 / 0

english, 2003

6

Algorithmic Problem Solving (2007)

Algorithmic Problem Solving (2007)

Roland Backhouse

ปี:

2007

ภาษา:

english

ไฟล์:

PDF, 961 KB

0 / 0

english, 2007

7

Program Construction: Calculating Implementations from Specifications

Program Construction: Calculating Implementations from Specifications

Roland Backhouse

ปี:

2003

ภาษา:

english

ไฟล์:

RAR, 19.17 MB

0 / 0

english, 2003

8

Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Roland Backhouse, Wei Chen, João F. Ferreira (auth.), Claude Bolduc, Jules Desharnais, Béchir Ktari (eds.)

ปี:

2010

ภาษา:

english

ไฟล์:

PDF, 3.21 MB

0 / 0

english, 2010

9

Program construction : calculating implementations from specifications

Program construction : calculating implementations from specifications

Roland C Backhouse

ปี:

2003

ภาษา:

english

ไฟล์:

DJVU, 4.10 MB

0 / 0

english, 2003

10

Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Mark P. Jones (auth.), Roland Backhouse, José Nuno Oliveira (eds.)

ปี:

2000

ภาษา:

english

ไฟล์:

PDF, 1.88 MB

0 / 0

english, 2000

11

Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings

Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Roland Backhouse (auth.), Charles Rattray, Savitri Maharaj, Carron Shankland (eds.)

ปี:

2004

ภาษา:

english

ไฟล์:

PDF, 6.69 MB

0 / 0

english, 2004

12

Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Mark P. Jones (auth.), Roland Backhouse, José Nuno Oliveira (eds.)

ปี:

2000

ภาษา:

english

ไฟล์:

PDF, 2.01 MB

0 / 0

english, 2000

13

Lecture Notes in Computer Science 2297 Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School and Workshop Oxford,UK,April 10-14,2000

Lecture Notes in Computer Science 2297 Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School and Workshop Oxford,UK,April 10-14,2000

Springer-Verlag

Roland C Backhouse, Roy Crole, Jeremy Gibbons, School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction, Roland Backhouse, Roy Crole, Jeremy Gibbons, eds, R. C Backhouse

ปี:

2002

ภาษา:

English

ไฟล์:

PDF, 179.33 MB

0 / 0

English, 2002

14

Program Construction Calculating Implementations from Specifications

Program Construction Calculating Implementations from Specifications

Roland Backhouse

ปี:

2004

ภาษา:

english

ไฟล์:

PDF, 19.42 MB

0 / 5.0

english, 2004

15

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures

Springer-Verlag Berlin Heidelberg

Roy Crole (auth.), Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.)

ปี:

2002

ภาษา:

english

ไฟล์:

PDF, 2.94 MB

0 / 0

english, 2002

16

Generic Programming: Advanced Lectures

Generic Programming: Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.)

ปี:

2003

ภาษา:

english

ไฟล์:

PDF, 3.01 MB

0 / 0

english, 2003

17

Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings

Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Roland Backhouse (auth.), Charles Rattray, Savitri Maharaj, Carron Shankland (eds.)

ปี:

2004

ภาษา:

english

ไฟล์:

PDF, 5.18 MB

0 / 0

english, 2004

18

Datatype-Generic Programming. International Spring School, SSDGP 2006

Datatype-Generic Programming. International Spring School, SSDGP 2006

Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.)

ปี:

2007

ภาษา:

english

ไฟล์:

PDF, 2.60 MB

0 / 0

english, 2007

19

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

Springer-Verlag Berlin Heidelberg

Jeremy Gibbons (auth.), Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.)

ปี:

2007

ภาษา:

english

ไฟล์:

PDF, 3.27 MB

0 / 0

english, 2007

20

Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Roland Backhouse, Wei Chen, João F. Ferreira (auth.), Claude Bolduc, Jules Desharnais, Béchir Ktari (eds.)

ปี:

2010

ภาษา:

english

ไฟล์:

PDF, 3.81 MB

0 / 0

english, 2010